Levitt, Karl N.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

hBFT: Speculative Byzantine Fault Tolerance with Minimum Cost

Duan, Sisi, Peisert, Sean, Levitt, Karl N.

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2015

Language:

english

File:

PDF, 742 KB

english, 2015

2

Formal verification of a programming logic for a distributed programming language

Cui Zhang, Ronald A. Olsson, Karl N. Levitt

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 1.72 MB

english, 1999

3

Firewall configuration: An application of multiagent metalevel argumentation

Applebaum, Andy, Li, Zimi, Levitt, Karl, Parsons, Simon, Rowe, Jeff, Sklar, Elizabeth I., Atkinson, Katie, Cerutti, Federico, McBurney, Peter, Parsons, Simon, Rahwan, Iyad

Journal:

Argument & Computation

Year:

2016

Language:

english

File:

PDF, 219 KB

english, 2016

4

An Assessment of Techniques for Proving Program Correctness

Elspas, Bernard, Levitt, Karl N., Waldinger, Richard J., Waksman, Abraham

Journal:

ACM Computing Surveys

Year:

1972

Language:

english

File:

PDF, 4.16 MB

english, 1972

5

Argument schemes for reasoning about trust

Parsons, Simon, Atkinson, Katie, Li, Zimi, McBurney, Peter, Sklar, Elizabeth, Singh, Munindar, Haigh, Karen, Levitt, Karl, Rowe, Jeff

Journal:

Argument & Computation

Year:

2014

Language:

english

File:

PDF, 356 KB

english, 2014

6

Reduced-Order Load Models for Large Populations of Flexible Appliances

Alizadeh, Mahnoosh, Scaglione, Anna, Applebaum, Andy, Kesidis, George, Levitt, Karl

Journal:

IEEE Transactions on Power Systems

Year:

2015

Language:

english

File:

PDF, 3.43 MB

english, 2015

7

[IEEE 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA) - Cambridge, Boston, MA, USA (2016.10.31-2016.11.2)] 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA) - Cost sensitive moving target consensus

Duan, Sisi, Li, Yun, Levitt, Karl

Year:

2016

Language:

english

File:

PDF, 226 KB

english, 2016

8

Randomized, placebo-controlled, double-blind study of a cytomegalovirus-specific monoclonal antibody (MSL-109) for prevention of cytomegalovirus infection after allogeneic hematopoietic stem cell transplantation

Michael Boeckh, Raleigh A. Bowden, Barry Storer, Nelson J. Chao, Ricardo Spielberger, D. Kathryn Tierney, Ghislaine Gallez-Hawkins, Terri Cunningham, Karl G. Blume, Daniel Levitt, John A. Zaia

Journal:

Biology of Blood and Marrow Transplantation

Year:

2001

Language:

english

File:

PDF, 957 KB

english, 2001

9

[IEEE MILCOM 2015 - 2015 IEEE Military Communications Conference - Tampa, FL, USA (2015.10.26-2015.10.28)] MILCOM 2015 - 2015 IEEE Military Communications Conference - Detection of stealthy TCP-based DoS attacks

Aqil, Azeem, Atya, Ahmed O. F., Jaeger, Trent, Krishnamurthy, Srikanth V., Levitt, Karl, McDaniel, Patrick D., Rowe, Jeff, Swami, Ananthram

Year:

2015

Language:

english

File:

PDF, 574 KB

english, 2015

10

An example of hierarchical design and proof

Spitzen, Jay M., Levitt, Karl N., Robinson, Lawrence

Journal:

Communications of the ACM

Year:

1978

Language:

english

File:

PDF, 7.45 MB

english, 1978

11

[IEEE MILCOM 2016 - 2016 IEEE Military Communications Conference (MILCOM) - Baltimore, MD, USA (2016.11.1-2016.11.3)] MILCOM 2016 - 2016 IEEE Military Communications Conference - Mapping sample scenarios to operational models

Celik, Z. Berkay, Nan Hu,, Yun Li,, Papernot, Nicolas, McDaniel, Patrick, Walls, Robert, Rowe, Jeff, Levitt, Karl, Bartolini, Novella, La Porta, Thomas F., Chadha, Ritu

Year:

2016

Language:

english

File:

PDF, 336 KB

english, 2016

12

Functional Properties of Neurons in Macaque Area V3

Gegenfurtner, Karl R., Kiper, Daniel C., Levitt, Jonathan B.

Journal:

Journal of Neurophysiology

Year:

1997

Language:

english

File:

PDF, 455 KB

english, 1997

13

Dosimetry of anal radiation in high-dose-rate brachytherapy for prostate cancer

Karl Mikael Kälkner, Emil Bengtsson, Simone Eriksson, Carina Holmberg, Sten Nilsson, Seymour Levitt, Marie Lundell

Journal:

Year:

2007

Language:

english

File:

PDF, 134 KB

english, 2007

14

[ACM Press the 1st annual ACM SIGACT-SIGPLAN symposium - Boston, Massachusetts (1973.10.01-1973.10.03)] Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73 - Reasoning about programs

Waldinger, Richard J., Levitt, Karl N.

Year:

1973

Language:

english

File:

PDF, 1.01 MB

english, 1973

15

[ACM Press the 2nd ACM symposium - Singapore (2007.03.20-2007.03.22)] Proceedings of the 2nd ACM symposium on Information, computer and communications security - ASIACCS '07 - DRETA

Tseng, Chinyang Henry, Wang, Shiau-Huey, Levitt, Karl

Year:

2007

Language:

english

File:

PDF, 56 KB

english, 2007

16

[IEEE MILCOM 2015 - 2015 IEEE Military Communications Conference - Tampa, FL, USA (2015.10.26-2015.10.28)] MILCOM 2015 - 2015 IEEE Military Communications Conference - Cyber reasoning with argumentation: Abstracting from incomplete and contradictory evidence

Applebaum, Andy, Levitt, Karl, Li, Zimi, Parsons, Simon, Rowe, Jeff, Sklar, Elizabeth

Year:

2015

Language:

english

File:

PDF, 199 KB

english, 2015

17

[IEEE IEEE INFOCOM 2016 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) - San Francisco, CA, USA (2016.4.10-2016.4.14)] 2016 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS) - Privacy-preserving coordination for smart communities

Kianmajd, Parisa, Rowe, Jeff, Levitt, Karl

Year:

2016

Language:

english

File:

PDF, 169 KB

english, 2016

18

Validation of array accesses: integration of flow analysis and program verification techniques

Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson

Journal:

Software Testing, Verification and Reliability

Year:

1997

Language:

english

File:

PDF, 165 KB

english, 1997

19

MCF: a malicious code filter

Raymond W. Lo, Karl N. Levitt, Ronald A. Olsson

Journal:

Computers & Security

Year:

1995

Language:

english

File:

PDF, 2.21 MB

english, 1995

20

Prostate displacement kit: Reducing the radiation dose to the rectum

Karl Mikael Kälkner, Josef Nilsson, Marie Lundell, Seymour Levitt, Sten Nilsson

Journal:

Radiotherapy and Oncology

Year:

2006

Language:

english

File:

PDF, 454 KB

english, 2006

21

[IEEE 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06) - Manchester, UK (2006.06.26-2006.06.28)] 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06) - Some Problems in Sanitizing Network Data

Bishop, Matt, Crawford, Rick, Bhumiratana, Bhume, Clark, Lisa, Levitt, Karl

Year:

2006

Language:

english

File:

PDF, 191 KB

english, 2006

22

Proof techniques for hierarchically structured programs

Robinson, Lawrence, Levitt, Karl N.

Journal:

Communications of the ACM

Year:

1977

Language:

english

File:

PDF, 7.91 MB

english, 1977

23

Prostate volume determination: Differential volume measurements comparing CT and TRUS

Karl Mikael Kälkner, Gregory Kubicek, Josef Nilsson, Marie Lundell, Seymour Levitt, Sten Nilsson

Journal:

Radiotherapy and Oncology

Year:

2006

Language:

english

File:

PDF, 121 KB

english, 2006

24

[ACM Press the 2000 workshop - Ballycotton, County Cork, Ireland (2000.09.18-2000.09.21)] Proceedings of the 2000 workshop on New security paradigms - NSPW '00 - A requires/provides model for computer attacks

Templeton, Steven J., Levitt, Karl

Year:

2000

Language:

english

File:

PDF, 688 KB

english, 2000

25

Generation bidding game with potentially false attestation of flexible demand

Shan, Yuquan, Raghuram, Jayaram, Kesidis, George, Miller, David J, Scaglione, Anna, Rowe, Jeff, Levitt, Karl

Journal:

EURASIP Journal on Advances in Signal Processing

Year:

2015

Language:

english

File:

PDF, 706 KB

english, 2015

26

[ACM Press the 2013 workshop - Banff, Alberta, Canada (2013.09.09-2013.09.12)] Proceedings of the 2013 workshop on New security paradigms workshop - NSPW '13 - Towards the realization of a public health system for shared secure cyber-space

Rowe, Jeff, Levitt, Karl, Hogarth, Mike

Year:

2013

Language:

english

File:

PDF, 590 KB

english, 2013

27

Clinical outcome in 1000 patients with localized prostate cancer treated with external beam radiotherapy and high-dose-rate 192-Iridium brachytherapy boost: A single institution experience

Enrique Castellanos, Gabriella Cohn-Cedermark, Anders Ullen, Katinka Sandberg, Marianne Ryberg, Marie Hjelm-Eriksson, Marie Lundell, Goran Lundell, Seymour Levitt, Magnus Hellstrom, Karl Mikael Kalkne

Journal:

Year:

2008

Language:

english

File:

PDF, 68 KB

english, 2008

28

1870 QUALITY OF LIFE, SURVIVAL OUTCOMES AND RECTAL/GENITOURINARY TOXICITY IN PATIENTS TREATED WITH 70GY SALVAGE RADIOTHERAPY AFTER RISE IN PSA POST RADICAL PROSTATECTOMY

Cortes-Gonzalez, Jeff R., Castellanos, Enrique, Levitt, Seymour, Holmberg, Anders R., Marquez, Marcela, Richard-Holm, Agneta, Kälkner, Karl M., Brandberg, Yvonne, Nilsson, Sten

Journal:

The Journal of Urology

Year:

2010

Language:

english

File:

PDF, 117 KB

english, 2010

29

Clinical outcome in patients with prostate cancer treated with external beam radiotherapy and high dose-rate iridium 192 brachytherapy boost: A 6-year follow-up

Mikael Kälkner, Karl, Wahlgren, Thomas, Ryberg, Marianne, Cohn-Cedermark, Gabriella, Castellanos, Enrique, Zimmerman, Rolf, Nilsson, Josef, Lundell, Marie, Fowler, Jack, Levitt, Seymour, Hellström, Ma

Journal:

Acta Oncologica

Year:

2007

Language:

english

File:

PDF, 124 KB

english, 2007

30

LVT: a layered verification technique for distributed computing systems

Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt

Journal:

Software Testing, Verification and Reliability

Year:

1999

Language:

english

File:

PDF, 185 KB

english, 1999

31

[ACM Press the 44th annual conference - San Diego, California (2007.06.04-2007.06.08)] Proceedings of the 44th annual conference on Design automation - DAC '07 - Trusted hardware

Irvine, Cynthia E., Levitt, Karl

Year:

2007

Language:

english

File:

PDF, 142 KB

english, 2007

32

Intrusion detection inter-component adaptive negotiation

Richard Feiertag, Sue Rho, Lee Benzinger, Stephen Wu, Timothy Redmond, Cui Zhang, Karl Levitt, Dave Peticolas, Mark Heckman, Stuart Staniford, Joey McAlerney

Journal:

Computer Networks

Year:

2000

Language:

english

File:

PDF, 367 KB

english, 2000

33

[ACM Press the 2006 SIGCOMM workshop - Pisa, Italy (2006.09.11-2006.09.15)] Proceedings of the 2006 SIGCOMM workshop on Large-scale attack defense - LSAD '06 - A distributed host-based worm detection system

Cheetancheri, Senthilkumar G., Agosta, John Mark, Dash, Denver H., Levitt, Karl N., Rowe, Jeff, Schooler, Eve M.

Year:

2006

Language:

english

File:

PDF, 152 KB

english, 2006

34

[IEEE 2014 IEEE 33rd International Symposium on Reliable Distributed Systems (SRDS) - Nara, Japan (2014.10.6-2014.10.9)] 2014 IEEE 33rd International Symposium on Reliable Distributed Systems - ByzID: Byzantine Fault Tolerance from Intrusion Detection

Duan, Sisi, Levitt, Karl, Meling, Hein, Peisert, Sean, Zhang, Haibin

Year:

2014

Language:

english

File:

PDF, 570 KB

english, 2014

35

Intrinsic fluorescence and redox changes associated with apoptosis of primary human epithelial cells

Levitt, Jonathan M., Baldwin, Amy, Papadakis, Antonios, Puri, Sameer, Xylas, Joanna, Münger, Karl, Georgakoudi, Irene

Journal:

Journal of Biomedical Optics

Year:

2006

Language:

english

File:

PDF, 994 KB

english, 2006

36

Recent SRI work in verification

Levitt, Karl N., Neumann, Peter G.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1981

Language:

english

File:

PDF, 716 KB

english, 1981

37

[ACM Press the 2004 ACM workshop - Washington DC, USA (2004.10.29-2004.10.29)] Proceedings of the 2004 ACM workshop on Rapid malcode - WORM '04 - A hybrid quarantine defense

Porras, Phillip, Briesemeister, Linda, Skinner, Keith, Levitt, Karl, Rowe, Jeff, Ting, Yu-Cheng Allen

Year:

2004

Language:

english

File:

PDF, 475 KB

english, 2004

38

Long-Term Survival of Patients With Advanced/Recurrent Carcinoma of Cervix and Vagina After Neoadjuvant Treatment With Methotrexate, Vinblastine, Doxorubicin, and Cisplatin With or Without the Addition of Molgramostim, and Review of the Literature

Long, Harry J., Rayson, Sandra, Podratz, Karl C., Abu-Ghazaleh, Samir, Suman, Vera, Hartmann, Lynn C., Levitt, Ralph, Nair, Suresh, Hatfield, Alan K., Knost, James A.

Journal:

American Journal of Clinical Oncology

Year:

2002

Language:

english

File:

PDF, 175 KB

english, 2002

39

Brain ablation in the rat cerebral cortex using a tunable-free electron laser

Janice Ovelmen-Levitt, Karl D. Straub, Suzanne Hauger, Eric Szarmes, John Madey, Robert D. Pearlstein, Blaine S. Nashold Jr

Journal:

Lasers in Surgery and Medicine

Year:

2003

Language:

english

File:

PDF, 422 KB

english, 2003

40

Diagnostic cellular organization features extracted from autofluorescence images

Levitt, Jonathan M., Hunter, Martin, Mujat, Claudia, McLaughlin-Drubin, Margaret, Münger, Karl, Georgakoudi, Irene

Journal:

Year:

2007

Language:

english

File:

PDF, 612 KB

english, 2007

41

Hyperphenylalaninemia with defective transamination

Karl Blau, Gillian A. Levitt, David R. Harvey

Journal:

Clinica Chimica Acta

Year:

1983

Language:

english

File:

PDF, 545 KB

english, 1983

42

Security vulnerabilities of connected vehicle streams and their impact on cooperative driving

Amoozadeh, Mani, Raghuramu, Arun, Chuah, Chen-nee, Ghosal, Dipak, Zhang, H. Michael, Rowe, Jeff, Levitt, Karl

Journal:

IEEE Communications Magazine

Year:

2015

Language:

english

File:

PDF, 276 KB

english, 2015

43

Incorporating Equity and Resiliency in Municipal Transportation Planning

Anderson, Karl, Blanchard, Samuel D., Cheah, Derek, Levitt, Drew

Journal:

Transportation Research Record Journal of the Transportation Research Board

Year:

2017

Language:

english

File:

PDF, 3.16 MB

english, 2017

44

[ACM Press the 1st ACM workshop - Fairfax, Virginia (2003.10.31-..)] Proceedings of the 1st ACM workshop on Security of ad hoc and sensor networks - SASN '03 - A specification-based intrusion detection system for AODV

Tseng, Chin-Yang, Balasubramanyam, Poornima, Ko, Calvin, Limprasittiporn, Rattapon, Rowe, Jeff, Levitt, Karl

Year:

2003

Language:

english

File:

PDF, 375 KB

english, 2003

45

[IEEE 2008 Second International Conference on Sensor Technologies and Applications (sensorcomm 2008) - Cap Esterel, France (2008.08.25-2008.08.31)] 2008 Second International Conference on Sensor Technologies and Applications (sensorcomm 2008) - Non-uniform Entropy Compression for Uniform Energy Distribution in Wireless Sensor Networks

Lu, Xiaoming, Spear, Matt, Levitt, Karl, Wu, S. Felix

Year:

2008

Language:

english

File:

PDF, 608 KB

english, 2008

46

[ACM Press the New Security Paradigms Workshop - Windsor, United Kingdom (2018.08.28-2018.08.31)] Proceedings of the New Security Paradigms Workshop on - NSPW '18 - Augmenting Machine Learning with Argumentation

Bishop, Matt, Gates, Carrie, Levitt, Karl

Year:

2018

File:

PDF, 525 KB

2018

47

Endogenous optical biomarkers of normal and human papillomavirus immortalized epithelial cells

Claudia Mujat, Cherry Greiner, Amy Baldwin, Jonathan M. Levitt, Fenghua Tian, Lee A. Stucenski, Martin Hunter, Young L. Kim, Vadim Backman, Michael Feld, Karl Münger, Irene Georgakoudi

Journal:

International Journal of Cancer

Year:

2008

Language:

english

File:

PDF, 796 KB

english, 2008

48

[ACM Press the 2nd ACM symposium - Singapore (2007.03.20-2007.03.22)] Proceedings of the 2nd ACM symposium on Information, computer and communications security - ASIACCS '07 - A framework for diversifying windows native APIs to tolerate code injection attacks

Nguyen, Lynette Qu, Demir, Tufan, Rowe, Jeff, Hsu, Francis, Levitt, Karl

Year:

2007

Language:

english

File:

PDF, 167 KB

english, 2007

49

[IEEE 2008 Second International Conference on Emerging Security Information, Systems and Technologies (SECUREWARE) - Cap Esterel, France (2008.08.25-2008.08.31)] 2008 Second International Conference on Emerging Security Information, Systems and Technologies - A Synchronization Attack and Defense in Energy-Efficient Listen-Sleep Slotted MAC Protocols

Lu, Xiaoming, Spear, Matt, Levitt, Karl, Matloff, Norman S., Wu, S. Felix

Year:

2008

Language:

english

File:

PDF, 440 KB

english, 2008

50

Comorbidity as a predictor of overall survival in prostate cancer patients treated with external beam radiotherapy combined with HDR brachytherapy boosts

Hjälm-Eriksson, Marie, Ullén, Anders, Johansson, Hemming, Levitt, Seymoure, Nilsson, Sten, Kälkner, Karl-Mikael

Journal:

Acta Oncologica

Year:

2017

Language:

english

File:

PDF, 791 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски